https://quantum.cs-manual.com/d-dlt4700.html